Reiner Hähnle: Z-Library সাইটে অনুসন্ধান করুন

তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024

Z-Library - বিশ্বের অন্যতম বৃহত্তম অনলাইন লাইব্রেরি যেখানে 17,000,000 এর বেশি বই এবং 84,837,000 নিবন্ধ বই রাখা আছে. সাহিত্যকে সবার কাছে অ্যাক্সেসযোগ্য করা আমাদের লক্ষ্য. আজ(১৫ সেপ্টেম্বর 2024) আমরা প্রকল্পটির রক্ষণাবেক্ষণ এবং উন্নয়নের জন্য অতিরিক্ত তহবিল সংগ্রহ শুরু করেছি.

এছাড়াও আনলিমিটেড ডাউনলোডগুলি (ডোনেশন দেওয়ার পরের দিন থেকে ৩১ দিনের জন্য) সমস্ত অবদানকারীদের জন্য উপলব্ধ রয়েছে যারা ১লা অক্টোবর 2024 তারিখ পর্যন্ত তহবিল সংগ্রহের সময়কালে ডোনেশন দেবেন.

তহবিল সংগ্রহের বিষয়েআরও পড়ুন

ডোনেট করুন

1

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Springer International Publishing

Reiner Hähnle, Wil van der Aalst

সাল:

2019

ভাষা:

english

ফাইল:

PDF, 26.70 MB

0 / 0

english, 2019

2

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

সাল:

2016

ভাষা:

english

ফাইল:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

3

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Clarendon Press; Oxford University Press

সাল:

1993

ভাষা:

english

ফাইল:

PDF, 816 KB

0 / 0

english, 1993

4

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Saint Philip Street Press

Wil van der Aalst & Reiner Hähnle [Aalst, Wil van der & Hähnle, Reiner]

সাল:

2020

ভাষা:

english

ফাইল:

EPUB, 29.12 MB

0 / 0

english, 2020

5

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 1.84 MB

0 / 0

english, 2008

6

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 3.94 MB

0 / 0

english, 2007

7

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.37 MB

0 / 0

english, 2010

8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 4.72 MB

0 / 0

english, 2013

9

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

সাল:

1995

ভাষা:

english

ফাইল:

DJVU, 3.54 MB

0 / 0

english, 1995

10

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Reiner Hähnle & Wil van der Aalst

সাল:

2019

ভাষা:

english

ফাইল:

PDF, 26.68 MB

0 / 0

english, 2019

11

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 2.96 MB

0 / 0

english, 2008

12

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.60 MB

0 / 5.0

english, 2010

13

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 6.24 MB

0 / 0

english, 2013

14

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 3.24 MB

0 / 0

english, 1999

15

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Springer International Publishing

Amel Bennaceur, Reiner Hähnle, Karl Meinke

সাল:

2018

ভাষা:

english

ফাইল:

PDF, 7.48 MB

0 / 0

english, 2018

16

Handbook of Tableau Methods

Handbook of Tableau Methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 23.70 MB

0 / 0

english, 1999

17

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Springer International Publishing;Springer

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

সাল:

2020

ভাষা:

english

ফাইল:

PDF, 11.58 MB

5.0 / 5.0

english, 2020

18

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 10.79 MB

0 / 0

english, 2014

19

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 5.36 MB

0 / 0

english, 2007

20

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 3.24 MB

0 / 0

english, 1999

21

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 10.70 MB

0 / 0

english, 2012

22

Handbook of tableau methods

Handbook of tableau methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

DJVU, 5.94 MB

0 / 0

english, 1999

23

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.32 MB

0 / 0

english, 2010

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 8.06 MB

0 / 0

english, 2014

25

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 12.26 MB

0 / 0

english, 2012

26

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

সাল:

1995

ভাষা:

english

ফাইল:

PDF, 6.37 MB

0 / 0

english, 1995

27

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 14.99 MB

0 / 0

english, 2012